#define _CRT_SECURE_NO_WARNINGS
#include <stdio.h>
int main()
{
    int n = 0;
    int k = 0;
    int x = 0;
    int y = 0;
    int count = 0;
    scanf("%d %d", &n, &k);
    for (x = 1; x <= n; x++)
    {
        for (y = 1; y <= n; y++)
        {
            if (x % y >= k)
            {
                count++;
            }
        }
    }
    printf("%d\n", count);
    return 0;
}